Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
691	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
692	PDF Document Add to Reading List Source URL: www.sal.wisc.edu Language: English - Date: 2009-01-07 12:25:25 Business Formal methods Software development Cross-platform software LabVIEW Software development process Software design Software testing Application software Software Computing Project management
693	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
694	PDF Document Add to Reading List Source URL: manovich.net Language: English - Date: 2014-06-09 13:00:06 Research methods Scientific method Ethology Data analysis Web 2.0 Data mining Cultural analytics Qualitative research Big data Science Technology Formal sciences
695	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-18 10:24:21 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
696	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
697	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
698	CHAPTER 4 The Process Design and programming are human activities; forget that and all is lost. Bjarne Stroustrup, 1991 We use processes because we are afraid. We are afraid that Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 20:52:01 Software development process Formal methods Software project management Software engineering Software engineers Unified Process Grady Booch Iteration Object-oriented analysis and design Software development Computing Software
699	Timeboxing: A Process Model for Iterative Software Development Pankaj Jalote<, Aveejeet Palit Priya Kurien, V. T. Peethamber Infosys Technologies Limited Electronics City Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2003-04-02 04:56:14 Project management Software development process Formal methods Time management Timeboxing Agile software development Iterative and incremental development Waterfall model Software development methodology Software development Software project management Software
700	Topics in Knowledge Representation and Reasoning Optimizing Description Logic Subsumption Maryam Fazel-Zarandi DepartmentCompany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 16:34:57 Logic in computer science Electronic design automation Formal methods NP-complete problems Reasoning Satisfiability Boolean satisfiability problem Description logic Knowledge representation and reasoning Theoretical computer science Science Mathematics

UPDATE